Bassin de radoub (n.m.)

bassin parfois flottant, où l'on peut mettre un navire à sec, pour y effectuer des réparations.